$\forall$${\it da}$:$k$:Knd fp$\rightarrow$ Type, $i$:Id. da{-}outlinks(${\it da}$;$i$) $\in$ (IdLnk$\times$Id$\times$Type) List